RsTSpanningComment.lagda.rst:2,4-5,19: Multi-line comment spans one or more literate text blocks.
RsTSpanningComment.lagda.rst:8,3-13,7: Multi-line comment spans one or more literate text blocks.
